Revision: tla-tools--devo--0--patch-25
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Thu Sep  4 17:04:58 JST 2003
Standard-date: 2003-09-04 08:04:58 GMT
Modified-files: tla-update-tags
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-25
Summary: Implement external tag renaming/deleting in tla-update-tags

